body {
	padding-top: 50px;
}

.play {
	padding: 40px 15px;
	text-align: center;
}

#text1, #text2 {
	font-family: "Courier New", Courier, monospace;
}

#text2 .yes {
	display: none;
}

#text2.solution .no {
	display: none;
}

#text2.solution .yes {
	display: inline;
}